Call 1-800-NEW-NAME

-800-call-me: the Myth of the Passive Prospect 1-800-call-me: the Myth of the Passive Prospect

Models of the evolution of signalling have often failed to consider the role of signal receiver as anything more than that of a passive recipient of signals. This passivity takes three forms. First, receiver's are often modelled as valuing information for its own sake, whereas signallers are taken to place diiering values on receiver response. Second, receivers are often considered to be free f...

Call-by-value isn’t dual to call-by-name, call-by-name is dual to call-by-value!

Gentzen’s sequent calculus for classical logic shows great symmetry: for example, the rule introducing ∧ on the left of a sequent is mirror symmetric to the introduction rule for the dual operator ∨ on the right of a sequent. A consequence of this casual observation is that when Γ ` ∆ is a theorem over operators {∨,∧,¬}, then so is ∆ ` Γ, where Σ reverses the order of formulas in Σ, and exchang...

Call-by-Value Is Dual to Call-by-Name - Reloaded

We consider the relation of the dual calculus of Wadler (2003) to the λμ-calculus of Parigot (1992). We give translations from the λμ-calculus into the dual calculus and back again. The translations form an equational correspondence as defined by Sabry and Felleisen (1993). In particular, translating from λμ to dual and then ‘reloading’ from dual back into λμ yields a term equal to the original...

Handout 7: Call by Name and Call by Value

In Handout 4, we have examined the reduction semantics of lambda calculus, and noted the difference between the normal order reduction, which chooses leftmost-outermost redexes for reduction at every stage, and the applicative order reduction, which chooses innermost redexes for reduction at every stage. We noted that the normal order reduction strategy is always able to find the normal form of...

New Zealand Data Sheet 1. Product Name